constructive proof

Constructive Proof of Two Classes of Felicitous Big Lobster Trees

两类大龙虾幸福树的构造性证明

A Constructive Proof of Existence Theorem for Rational Form

有理标准形存在性定理的构造性证明

Constructive proof about quadratic integrable function decomposition into analytic function

平方可积函数解析分解的构造性证明

A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling

整数标号的Brouwer不动点的构造性算法

In this paper, we discuss the properties of ψ-continuous elements of complete lattices by the methods of-minimal sets and category, give the constructive proof for the existence of free continuous lattices in complete lattice category.

本文用ψ极小集和范畴论的方法讨论了完备格中ψ连续元的性质，给出了完备格范畴中自由ψ连续格存在性的构造性证明。

In Chapter 4, we use the same method give the constructive proof of semi-periodic solutions of the equations we discuss in Chapter 3.

第四章用同样的方法讨论了一类特殊半周期解的构造性证明。

The proof of the result is constructive and is based upon continuation methods.

结论的证明基于解析开拓法,并具有可构造性.

The Constructive Proof and Calculation of the Solutions of Boundary Value Problem of Ordinary Differential Equation

常微分方程边值问题解的构造性证明及其计算

A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling In this paper a variable dimension simplicial restart algorithm with integer labelling for computing fixed points of a continuous mapping from simplex to itself is developed.

本文提出计算标准单纯形上连续自映射不动点的一种整数标号的变维数单纯重复开始算法，该算法给出了Brouwer不动点定理一个新的构造性证明。

On Constructive Proof of Chinese Traditional Mathematics

中国传统数学的构造性证明

This paper presents an existent and constructive proof of image fractal compression mappings and application in fractal image coding.

给出了图象分形压缩映射存在性的一个构造性证明，并应用在图象编码中。

A Constructive Proof of the Competitive Equilibrium Existence in a Pure Exchange Economy

纯交换经济竞争均衡存在的一种构造证明